大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Design Thinking [electronic resource] : Understand 鈥ɭprove 鈥pply

0
索取号：
作者：Meinel、 Christoph.、Leifer、 Larry.、Plattner、 Hasso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

0
索取号：
作者：Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing in Sensor Systems [electronic resource] : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Rajaraman、 Rajmohan.、Moscibroda、 Thomas.、Dunkels、 Adam.、Scaglione、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Analysis and Design of Univariate Subdivision Schemes [electronic resource]

0
索取号：
作者：Sabin、 Malcolm.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fete of Combinatorics and Computer Science [electronic resource]

0
索取号：
作者：Katona、 Gyula O. H.、Schrijver、 Alexander.、Sz艖nyi、 Tam谩s.、S谩gi、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computer Science and Information Technology [electronic resource] : AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advanced Computer Science and Information Technology [electronic resource] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

0
索取号：
作者：Tomar、 G. S.、Chang、 Ruay-Shiung.、Gervasi、 Osvaldo.、Kim、 Tai-hoon.、Bandyopadhyay、 Samir Kumar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

0
索取号：
作者：Winter、 Robert.、Zhao、 J. Leon.、Aier、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Handbook for Heat Exchangers and Tube Banks design [electronic resource]

0
索取号：
作者：Annaratone、 Donatello.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science-Theory and Applications [electronic resource] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

0
索取号：
作者：Ablayev、 Farid.、Mayr、 Ernst W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computer Games [electronic resource] : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers

0
索取号：
作者：Herik、 H. Jaap.、Spronck、 Pieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Design and Manufacturing of Active Microsystems [electronic resource]

0
索取号：
作者：B眉ttgenbach、 Stephanus.、Burisch、 Arne.、Hesselbach、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Vision [electronic resource] : Detection, Recognition and Reconstruction

0
索取号：
作者：Cipolla、 Roberto.、Battiato、 Sebastiano.、Farinella、 Giovanni Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Characterization and Design of Zeolite Catalysts [electronic resource] : Solid Acidity, Shape Selectivity and Loading Properties

0
索取号：
作者：Niwa、 Miki.、Katada、 Naonobu.、Okumura、 Kazu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Computer Software. Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

0
索取号：
作者：Choppy、 Christine.、Sokolsky、 Oleg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.